0e7b1c8f456809440ca685dbb4ff21017b65b1f8,src/mudmap2/backend/WorldFileReader/current/WorldFileMM1.java,WorldFileMM1,readPlacePath,#String#,372

Before Change


    }
    
    private void readPlacePath(String line){
        String[] tmp = line.substring(3).split("[\\$;]");
        tmp_paths.add(new WorldFileMM1.PathTmp(cur_place, Integer.parseInt(tmp[0]), tmp[1], tmp[2]));
    }
    

After Change


    }
    
    private void readPlacePath(String line){
        String tmp[] = safeSplit(line.substring(3).trim(), "$", 3);

        tmp_paths.add(new WorldFileMM1.PathTmp(cur_place, Integer.parseInt(tmp[0]), tmp[1], tmp[2]));
    }